We provide here a simple, yet very general framework that allows us toexplain several constraint propagation algorithms in a systematic way. Inparticular, using the notions commutativity and semi-commutativity, we show howthe well-known AC-3, PC-2, DAC and DPC algorithms are instances of a singlegeneric algorithm. The work reported here extends and simplifies that of Apt,cs.AI/9811024.
展开▼
